A proof of the interpretability of P/PML in a relational setting

In [1] we presented the logic P=PML, a formalism suitable for the speci cation and construction of Real-Time systems. The main algebraic result, namely, the interpretability of P/PML into an equa- tional calculus based on w-closure fork algebras (which allows to reason about Real-Time systems in an equational calculus) was stated but not proved because of the lack of space. In this paper we present a detailed proof of the interpretability theorem, as well as the proof of the representation theorem for w-closure fork alge- bras which provides a very natural semantics based on binary relations for the equational calculus.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

Sociedad del conocimiento, desarrollo e independencia tecnológica: reflexiones alrededor de una experiencia

Se presenta una experiencia de investigación y desarrollo tecnológico de un equipo univeristario en el marco de la implantación de la TV Digital en Argentina y Latinoamérica. Se analizan las diferentes actividades de investigación, desarrollo, innovación y difusión de una nueva tecnología, así como las interacciones con un conjunto de actores públicos, privados y académicos y se sugieren algunas líneas de debate acerca del rol de la universidad y los centros de investigación en relación con el desarrollo, la dependencia tecnológica y la construcción de una sociedad basada en el conocimiento justa y democrética en las condiciones de la Argentina y la región.Sociedad Argentina de Informática e Investigación Operativ

Sociedad del conocimiento, desarrollo e independencia tecnológica: reflexiones alrededor de una experiencia

Se presenta una experiencia de investigación y desarrollo tecnológico de un equipo univeristario en el marco de la implantación de la TV Digital en Argentina y Latinoamérica. Se analizan las diferentes actividades de investigación, desarrollo, innovación y difusión de una nueva tecnología, así como las interacciones con un conjunto de actores públicos, privados y académicos y se sugieren algunas líneas de debate acerca del rol de la universidad y los centros de investigación en relación con el desarrollo, la dependencia tecnológica y la construcción de una sociedad basada en el conocimiento justa y democrética en las condiciones de la Argentina y la región.Sociedad Argentina de Informática e Investigación Operativ

Sociedad del conocimiento, desarrollo e independencia tecnológica: reflexiones alrededor de una experiencia

Se presenta una experiencia de investigación y desarrollo tecnológico de un equipo univeristario en el marco de la implantación de la TV Digital en Argentina y Latinoamérica. Se analizan las diferentes actividades de investigación, desarrollo, innovación y difusión de una nueva tecnología, así como las interacciones con un conjunto de actores públicos, privados y académicos y se sugieren algunas líneas de debate acerca del rol de la universidad y los centros de investigación en relación con el desarrollo, la dependencia tecnológica y la construcción de una sociedad basada en el conocimiento justa y democrética en las condiciones de la Argentina y la región.Sociedad Argentina de Informática e Investigación Operativ

Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies. This paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - CompiladoresRed de Universidades con Carreras en Informática (RedUNCI

Formalizing the software development process

Object-oriented software development process, such as the Unified Process [Jacobson 99], Catalysis [D´Souza 98] and Fusion [Coleman 94] among others, is a set of activities needed to transform user’s requirements into a software system. A software development process typically consists of a set of software development artifacts together with a graph of tasks and activities. Software artifacts are the products resulting from software development, for example, a use case model, a class model or source code. Tasks are small behavioral units that usually results in a software artifact. Examples of tasks are construction of a use case model, construction of a class model and writing code. Activities (or workflows) are units that are larger than a task. Activities generally include several tasks and software artifacts. Examples of activities are requirements, analysis, design and implementation. Modern software development processes are iterative and incremental, they repeat over a series of iterations making up the life cycle of a system. Each iteration takes place over time and it consists of one pass through the requirements, analysis, design, implementation and test activities, building a number of different artifacts. All these artifacts are not independent. They are related to each other, they are semantically overlapping and together represent the system as a whole. Elements in one artifact have trace dependencies to other artifacts. For instance, a use case (in the use-case model) can be traced to a collaboration (in the design model) representing its realization.Eje: Ingeniería del SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Formalizing relations between use cases in the unified modeling language

The Unified Modeling Language (UML) is a semi-formal graphical language that has been accepted as standard to model object-oriented software systems. This language defines various kinds of diagrams that are used to describe different aspects or views of a system. In particular, Use Cases diagrams are used to capture the requirements of the systems and to guide their development process. The different Use Cases defined throughout a development process are not independent but it is possible to set relations between them. The main relations considered by UML are the following: Generalization, Include and Extend. These relations as well as the remaining UML constructs are semi-formally defined, giving place to ambiguous interpretations and inconsistencies.\nThis paper presents a formalization that gives precision to the definition of the main relations between Use Cases. This formalization will allow us to check consistency when incrementing the Use Cases model during the software development process and when relating Use Cases model with others modelsÁrea: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladore

De Sadosky a Nasdaq: 30 años de instituciones de las tecnologías de la información y la comunicación en Argentina

En 2014 se cumplieron 30 años ininterrumpidos de gestión de las instituciones de ciencia y tecnología por gobiernos democráticos en Argentina. En este año llegó a cotizar en Wall Street la segunda empresa de tecnología del país. Un logro importante para la Argentina, único país Latinoamericano en alcanzarlo. Nos preguntamos, ¿qué rol han jugado las instituciones de ciencia y la tecnología en la evolución de la industria? ¿qué pasó en la relación recíproca, de la industria con las instituciones? Es oportuno hacer un balance que ponga en perspectiva el aprendizaje institucional en el sector de las Tecnologías de la Información y la Comunicación del país y pensar críticamente cuáles son las claves para un desarrollo sustentable futuro.Sociedad Argentina de Informática e Investigación Operativa (SADIO

De Sadosky a Nasdaq: 30 años de instituciones de las tecnologías de la información y la comunicación en Argentina

En 2014 se cumplieron 30 años ininterrumpidos de gestión de las instituciones de ciencia y tecnología por gobiernos democráticos en Argentina. En este año llegó a cotizar en Wall Street la segunda empresa de tecnología del país. Un logro importante para la Argentina, único país Latinoamericano en alcanzarlo. Nos preguntamos, ¿qué rol han jugado las instituciones de ciencia y la tecnología en la evolución de la industria? ¿qué pasó en la relación recíproca, de la industria con las instituciones? Es oportuno hacer un balance que ponga en perspectiva el aprendizaje institucional en el sector de las Tecnologías de la Información y la Comunicación del país y pensar críticamente cuáles son las claves para un desarrollo sustentable futuro.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal

En este trabajo los sistemas de software son especificados por medio de un grafo y las propiedades que debe cumplir son expresadas como fórmulas de la lógica modal KPI. Ambos, sistema y propiedades, son traducidos a relaciones de un álgebra Fork. Con estas relaciones resultantes se puede alimentar al sistema RELVIEW, el cual permite verificar automáticamente si dichas propiedades se verifican en el sistema diseñado.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI